proof of Ampere's Circuital Law